Reviewed 5 of 5 files at r1, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @ilyalesokhin-starkware)

crates/cairo-lang-sierra-to-casm/src/annotations.rs line 110 at r1 (raw file):

                }
                res.push(*destination_statement_idx);
                res

.

Suggestion:

                chain!([*source_statement_idx, *destination_statement_idx],
                introduction_point.source_statement_idx).collect()

Reviewable status: 1 of 5 files reviewed, 1 unresolved discussion (waiting on @orizi)

crates/cairo-lang-sierra-to-casm/src/annotations.rs line 110 at r1 (raw file):

Done.

Reviewed 4 of 4 files at r2, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @ilyalesokhin-starkware)

crates/cairo-lang-executable/src/compile.rs line 169 at r2 (raw file):

            anyhow::bail!("Failed to create runnable builder: {}\n{}", err, locs.join("\n"));
        }
    };

Suggestion:

    let builder = match RunnableBuilder::new(sierra_program, None).map_err(|err| {
        let mut locs = vec![];
        for stmt_idx in err.stmt_indices() {
            if let Some(loc) = debug_info
                .statements_locations
                .locations
                .get(&stmt_idx)
                .and_then(|stmt_locs| stmt_locs.first())
            {
                locs.push(format!("#{stmt_idx} {:?}", loc.diagnostic_location(db).debug(db)))
            }
        }

        anyhow::anyhow!("Failed to create runnable builder: {}\n{}", err, locs.join("\n"));
    };

Reviewed 1 of 1 files at r3, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @ilyalesokhin-starkware)

Reviewed 1 of 1 files at r4, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @ilyalesokhin-starkware)

Reviewed all commit messages.
Reviewable status: 4 of 5 files reviewed, 1 unresolved discussion (waiting on @ilyalesokhin-starkware)

crates/cairo-lang-executable/src/compile.rs line 158 at r5 (raw file):

            // Note that the `last` is used here as the call site is the most relevant location.
            if let Some(loc) = debug_info

Suggestion:

        for stmt_idx in err.stmt_indices() {
            // Note that the `last` is used here as the call site is the most relevant location.
            if let Some(loc) = debug_info

Reviewable status: 4 of 5 files reviewed, 1 unresolved discussion (waiting on @orizi)

crates/cairo-lang-executable/src/compile.rs line 158 at r5 (raw file):

            // Note that the `last` is used here as the call site is the most relevant location.
            if let Some(loc) = debug_info

Done.

Reviewed 1 of 1 files at r6, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @ilyalesokhin-starkware)